On extensions of subshifts by finite groups

λ-Graph systems are labelled Bratteli diagrams with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of λ-graph systems and study extensions of subshifts by finite groups. We prove that two canonical symbolic matrix systems are G-strong shift equivalent if and only if their presented subshifts are G-conjugate.     

从文学变异学角度重新审视翻译等值研究

翻译＂等值＂或等效问题是译学界长期争论的焦点问题。语言学派和文化学派分别从语言学角度和文化视角对此提出了各自的见解。比较文学变异学将翻译中的变异作为研究支点,＂跨语际变异研究＂成为译学研究的新范式,通过研究不同国家之间文学现象交流的变异状态,探究并揭示文学变异现象的内在规律性,对翻译研究有重要的启示意义。     

基于三支决策的模糊信息系统OWA算子参数选择

在模糊信息系统中，通过有序加权平均（Ordered weighted averaging,OWA）算子计算对象相似度，可以建立λ截集的相容关系。当λ的值确定后，OWA算子中量词参数(α,β)的选取直接关系到不可区分关系的建立以及信息粒的粗细。因此合理选取参数(α,β)是值得进一步研究的问题。本文采用粗糙集三支决策理论，研究模糊信息系统 OWA算子参数选择的相关内容。基于参数的激进、中庸和消极语义，确定OWA算子(α,β)的3种常用取值；进而研究相似度、相容类、双向近似和三支区域在3种参数选择下的性质关系。最后利用实例验证分析了模糊量词参数语义解释的合理性。本文采用三支决策创新视角，得到模糊信息系统OWA算子的深入性质，为相关模糊量词参数提供语义解释与选择依据。     

化学平衡及化学反应速率概念及其关系探讨

阐述了化学平衡及化学反应速率的概念,分析了化学反应速率与化学平衡移动的关系。指出了化学反应速率变化时化学平衡必发生移动。明确了化学平衡和化学反应速率不属于同一学科体系,而是2个独立的学科。     

COMPATIBILITY OF SYSTEMS OF FUZZY RELATION EQUATIONS

In this paper, a fuzzy relation equation system with the generalized conjunction and implication operations is considered. Necessary and sufficient conditions of solvability of this system are proved. The case where these conditions are not fulfilled is considered and the solvability degree of the approximate solution is estimated. The interpolation property of the solution independently on whether it is precise or approximate is established.     

UNIQUENESS CONDITIONS OF CL-STRUCTURES IN GL-STRUCTURE EQUIVALENCE CLASSES OF SYSTEM RECONSTRUCTABILITY ANALYSIS

This paper first introduces the basic notions of overall systems with logical relations, their subsystems, structure representation graphs, sets of H-structures and G-structures with logical relations S _H ^L and S _G ^L, immediate refinement and aggregate with logical relations, structure-graph mappings r_V ^L, r_G ^L, etc., and the notions of inclusiveness with logical relations, upper bounding and lower bounding with logical relations. Then it proves the sufficient conditions under which representation graphs R ^L form a lattice. By defining the least upper bound and largest lower bound of (R^L, ) and recommending a lemma on distributivity, this paper proves the sufficient conditions under which G-structures with logical relations form Boolean lattices. Finally after defining the M-structures and C-structures with logical relations, i.e. M-structures and C-structures, this paper proposes the sufficient conditions for the uniqueness of C-structures in G-structure equivalence classes, and proves that the C ^L-structure is the least refined GL-structure in equivalence class S _G ^L/r _G ^L.     

Analytical prediction of pressure‐time curve for free inflation of superplastic sheet into hemispherical dome

Abstract

Blow forming is a commonly used production method to deform superplastic sheets. Several papers have appeared to analytically predict the pressurization sequence needed to control the inflation process at a desired strain rate. Some of them, however, are based on an over‐simplified assumption of uniform thickness reduction during the inflation, which often leads to non‐conservative prediction of pressure‐time path. Others have been more rigorous in the formulation, which on the other hand, results in more extensive equations requiring iterative method with a computer program. This paper presents a modified approach. Ignoring the assumption of uniform thinning, a set of physically sound yet easy‐to‐use equations for obtaining pressure‐time curves, heights of the deforming dome, and thickness variations both in space and time, are derived. The analytical results compare favorably with the experimental data and more elaborate finite element solutions.     

A 3D GIS spatial data model based on conformal geometric algebra

We propose a new Geographic Information System (GIS) three-dimensional (3D) data model based on conformal geometric algebra (CGA). In this approach, geographic objects of different dimensions are mapped to the corresponding basic elements (blades) in Clifford algebra, and the expressions of multi-dimensional objects are unified without losing their geometric meaning. Geometric and topologic computations are also processed in a clear and coordinates-free way. Under the CGA framework, basic geometrics are con...     

Modeling of microstructure effects on the mechanical behavior of ultrafine-grained nickels processed by hot isostatic pressing

Bulk ultrafine-grained nickel specimens having grain sizes in the range of 0.25-5 μm were consolidated by hot isostatic pressing technique. The resulting microstructures were characterized by transmission electron microscopy and X-ray diffraction analysis. Compression tests were carried out at room temperature and at strain rate of 1.6×10⁻⁴ s⁻¹. It was found that the measured yield strength does not follow the Hall-Petch law as a consequence of the presence of oxide phase. Therefore, the use of micromechanics based model, which takes into account only the Hall-Petch relationship at grain level for predicting the grain sized effects on mechanical behavior of this kind of materials, is not accurate yet. In this study, a modification made to the generalized self-consistent model was proposed for studying both grain size and oxide phase dependence of ultrafine-grained materials behavior. Because of the novel modification, an optimization procedure with two steps was required to identify the parameters of micromechanical model. An acceptable agreement between experimental and numerical results was achieved. Moreover, the influence of texture on the yield strength and the application of the proposed model to the spark plasma sintering processed materials were also discussed.